Auflistung nach Schlagwort "Logic circuits"

Sortiert nach: Sortierung: Ergebnisse:

  • Descriptive complexity of #AC0 functions 
    Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert (Saarbrücken : Dagstuhl Publishing, 2016)
    We introduce a new framework for a descriptive complexity approach to arithmetic computations. We define a hierarchy of classes based on the idea of counting assignments to free function variables in first-order formulae. ...
  • Implementing unitary 2-designs using random diagonal-unitary matrices 
    Nakata, Yoshifumi; Hirche, Christoph; Morgan, Ciara; Winter, Andreas (Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2015)
    Unitary 2-designs are random unitary matrices which, in contrast to their Haar-distributed counterparts, have been shown to be efficiently realized by quantum circuits. Most notably, unitary 2-designs are known to achieve ...